Complete Heyting algebra
- 完全海廷代数（完全海廷代数是完全格的海廷代数，在数学中有三个不同范畴的对象：CHey、Loc和Frm）
Complete Heyting algebra
-
abstract:
In mathematics, especially in order theory, a complete Heyting algebra is a Heyting algebra which is complete as a lattice. Complete Heyting algebras are the objects of three different categories; the category CHey, the category Loc of locales, and its opposite, the category Frm of frames.
以上来源于:
WordNet